complete inference system

完全推理系统